The Demonic Product of Probabilistic Relations the Demonic Product of Probabilistic Relations

نویسنده

  • Ernst-Erich Doberkat
چکیده

The demonic product of two probabilistic relations is de ned and investigated. It is shown that the product is stable under bisimulations when the mediating object is probabilistic, and that under some mild conditions the non-deterministic fringe of the probabilistic relations behaves properly: the fringe of the product equals the demonic product of the fringes.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Demonic orders and quasi-totality in Dedekind categories

This paper presents a proof of the associativity of demonic composition of relations in Dedekind categories and shows that the demonic composition is monotonic with respect to two demonic orderings on relations, which are defined by quasi-total relations, respectively.

متن کامل

The Probabilistic Steam Boiler: a Case Study in Probabilistic Data Refinement

Probabilistic choice and demonic nondeterminism have been combined in a model for sequential programs [11, 8] in which program refinement is defined by removing demonic nondeterminism. Here we study the more general topic of data refinement in the probabilistic setting, extending standard techniques to probabilistic programs. We use the method to obtain a quantitative assessment of the safety o...

متن کامل

Partial correctness for probabilistic demonic programs

Recent work in sequential program semantics has produced both an operational (He et al., Sci. Comput. Programming 28(2, 3) (1997) 171–192) and an axiomatic (Morgan et al., ACM Trans. Programming Languages Systems 18(3) (1996) 325–353; Seidel et al., Tech Report PRG-TR-6-96, Programming Research group, February 1996) treatment of total correctness for probabilistic demonic programs, extending Ko...

متن کامل

The Probabilistic Steam Boiler: a Case Study in Probabilistic Data Reenement

Probabilistic choice and demonic nondeterminism have been combined in a model for sequential programs [11, 8] in which program re nement is de ned by removing demonic nondeterminism. Here we study the more general topic of data re nement in the probabilistic setting, extending standard techniques to probabilistic programs. We use the method to obtain a quantitative assessment of safety of a (pr...

متن کامل

Restricted demonic choice for modular probabilistic programs

It is argued that one approach to modularity in programs containing both demonic and probabilistic choice is to allow variations on the former: `restricted demonic choice', written u L , is not allowed to use the value of variables named in the set L as it resolves its nondeterminism; ordinary demonic choice u is then just the special case u fg in which the set of hidden variables is empty. The...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002